|
The right quotient (or simply quotient) of a formal language with a formal language is the language consisting of strings ''w'' such that ''wx'' is in for some string ''x'' in . In symbols, we write: : In other words, each string in is the prefix of a string in , with the remainder of the word being a string in . ==Example== Consider and . Now, if we insert a divider into the middle of an element of , the part on the right is in only if the divider is placed adjacent to a ''b'' (in which case ''i'' ≤ ''n'' and ''j'' = ''n'') or adjacent to a ''c'' (in which case ''i'' = 0 and ''j'' ≤ ''n''). The part on the left, therefore, will be either or ; and can be written as 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Right quotient」の詳細全文を読む スポンサード リンク
|